reverse_interval
interval.reverse_interval
Precondition
pre safety: T.zero -! step # We must be able to negate `step`, so `T` must be signed debug: through?? && first??
0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)
pre safety: T.zero -! step # We must be able to negate `step`, so `T` must be signed debug: through?? && first??
Complexity: O(1)